S. Artemov, L.Beklemishev, "Provability Logic"
https://sartemov.ws.gc.cuny.edu/files/2012/10/Artemov-Beklemishev.-Provability-logic.pdf
Sergei N. Artemov
,
Lev D. Beklemishev
証明可能性論理
の
サーベイ論文